トップページ

じょうほう

もっとくわしいないよう
タイトル 論理と計算のしくみ
タイトルヨミ ﾛﾝﾘ/ﾄ/ｹｲｻﾝ/ﾉ/ｼｸﾐ
著者 萩谷／昌己‖著
著者ヨミ ﾊｷﾞﾔ,ﾏｻﾐ
著者標目(著者紹介) 東京大学大学院情報理工学研究科教授。専門は計算機科学。
著者 西崎／真也‖著
著者ヨミ ﾆｼｻﾞｷ,ｼﾝﾔ
著者標目(著者紹介) 東京工業大学大学院情報理工学研究科准教授。専門は計算機科学。
出版者 岩波書店
出版者ヨミ ｲﾜﾅﾐ/ｼｮﾃﾝ
本体価格 ¥3400
内容紹介 命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。
ＩＳＢＮ(10桁) 978-4-00-006191-9
出版年月,頒布年月等 2007.6
ページ数等 14,256p
大きさ 22cm
NDC9版 410.9

しょぞう

ばんごう かん ばしょ きごう しりょうくぶん 禁帯 しりょうじょうたい びこう
32832506 風樹文庫
一般ｺｰﾅｰ
410 2007 一般書
よやくのかず 0件
＋注意点
  • このしようは、よやくできません。